|
Your search returned 6 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1996 Volume number : 22 Issue: 10 |
Modular Algebraic Nets To Specify Concurrent Systems
(Article)
Subject:
Formal Specification
,
Distributed Systems
,
Petri Nets
Author:
Eugenio
Battiston
Florella De
Cindio
Giancarlo
Muri
page:
689
-
705
Software Development Productivity Of European Space, Military And Industrial Applications
(Article)
Subject:
Software Productivity
,
Software Effort Estimation
,
Space
Author:
Katrina D.
Maxwell
Luk Van
Wassenhove
Soumitra
Dutta
page:
706
-
718
A Methodology For Testing Intrusion Detection Systems
(Article)
Subject:
Intrusion Detection
,
Software Testing
,
Computer Security, Fault Toerance,
Author:
Nicholas J.
Puketza
Mandy
Chung
Biswanath.
Mukherjee
page:
719
-
729
Memantics-Based Inference Algorithms For Adaptive Visual Environments
(Article)
Subject:
Grammatical Inferece
,
Semantic Similarity
,
Visual Language
Author:
Giuliana
Vitiello
Filomena
Ferrucci
Genoveffa
Tortora
page:
730
-
750
A Validation Of Object-Oriented Design Metrics As Quality Indicators
(Article)
Subject:
Object-Oriented Design
,
Object-Oriented Software
,
C++Programming Language
Author:
Victor R.
Basili
Walcelio L.
Melo
Lionel C.
Briand
page:
751
-
761
Guaranteeing Good Memory Bounds For Parallel Programs
(Article)
Subject:
Alternative Fuel
Author:
F. Warren
Burton
page:
762
-
773
|
|
| | |